首页> 外文OA文献 >Deciding entailments in inductive separation logic with tree automata

【2h】

Deciding entailments in inductive separation logic with tree automata

机译：用树自动机决定归纳分离逻辑中的蕴涵

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Radu Iosif; Adam Rogalewicz;
展开▼
作者单位

展开▼
年度 2016
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Confirmation as partial entailment: A representation theorem in inductive logic [J] . Vincenzo Crupi, Katya Tentori Journal of Applied Logic . 2013,第4期

机译：作为部分蕴涵的确认：归纳逻辑中的一个表示定理
2. Compositional entailment checking for a fragment of separation logic [J] . Enea Constantin, Lengal Ondrej, Sighireanu Mihaela, Formal Methods in System Design . 2017,第3期

机译：组成逻辑检查分离逻辑片段
3. Decidable verification for reducible timed automata specified in first order logic with time [J] . Daniele Beauquier, Anatol Slissenko Theoretical computer science . 2002,第1a2期

机译：一阶逻辑中随时间指定的可缩减定时自动机的可判定验证
4. Deciding Entailments in Inductive Separation Logic with Tree Automata [C] . Radu Iosif, Adam Rogalewicz, Tomas Vojnar International symposium on automated technology for verification and analysis . 2014

机译：使用树自动机确定归纳分离逻辑的必要条件
5. The situation calculus: Decidability and an approach based on the logic for non-monotone inductive definitions. [D] . Ternovska, Evgenia Aleksandrovna. 2002

机译：情境演算：可判定性和基于非单调归纳定义逻辑的方法。
6. Logic of approximate entailment in quasimetric and in metric spaces [O] . Thomas Vetterlein -1

机译：拟度量空间和度量空间中的近似蕴涵逻辑
7. Deciding Entailments in Inductive Separation Logic with Tree Automata [O] . Iosif, Radu, Rogalewicz, Adam, Vojnar, Tomáš 2014

机译：使用树自动机确定归纳分离逻辑的必要条件

Deciding entailments in inductive separation logic with tree automata

著录项

引文网络

相似文献

相关主题

期刊订阅